航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

An improved numerical method for constructing Halo/Lissajous orbits in a full solar system model

An improved numerical method that can construct Halo/Lissajous orbits in the vicinity of collinear libration points in a full solar system model is investigated. A full solar system gravitational model in the geocentric rotating coordinate system with a clear presentation of the angular velocity relative to the inertial coordinate system is proposed. An alternative way to determine patch points in the multiple shooting method is provided based on a dynamical analysis with Poincare′sections. By employing the new patch points and sequential quadratic programming, Halo orbits for L_1, L_2, and L_3 points as well as Lissajous orbits for L_1 and L_2 points in the EarthMoon system are generated with the proposed full solar system gravitational model to verify the effectiveness of the proposed method.     

利用微波探测仪(ATMS)对在轨微波辐射计观测精度的模拟分析

微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。     

对策论在雷达电子战效能评估中的应用

介绍了对策论的基本内容和分析方法,包括对策论所涉及问题的要素和分类.指出了对策论在雷达电子战效能评估中应用的可行性和必要性.分析了电子对抗博弈双方采取不同对抗技术措施的得益矩阵,并在此得益矩阵的基础上,重点研究了对策论在电子对抗效能评估过程中的应用.     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

利用微气囊扰动进行流动控制的数值模拟研究

探讨一种可以用来模拟“三角翼上分布微气囊，从而控制流动获得滚转力矩”的数值方法。为微型飞机的气动设计提供一种工具。研究的内容包括：考虑微气囊的三角翼网格生成、流场NS方程计算、微气囊不同布局对流动的扰动等。     

星载硬质吸波材料真空功率耐受性能验证

星载吸波材料是复杂空间环境条件下天线、微波部组件大功率使用中满足隔离度要求的核心部件。本文研究了星载吸波材料真空功率耐受性能和吸波材料原材料制备工艺关键要素之间的关系,文中首先介绍了星载吸波材料电磁波吸收机理,其电磁参数直接关系到电磁波吸收性能优异与否;接着给出了影响电磁参数稳定性的原材料制备关键要素,以及成型材料的机加工艺特点;随后构建了一套星载吸波材料功率耐受性能的验证平台,开展功率试验;对两种工艺固化方法制备的原材料,分别制作了波导型吸收负载试验件进行试验验证。结果表明：（1）未进行高温预处理的吸波材料,残存未固化的小分子,会导致在高温真空工况下可凝挥发物析出增多,与外导体镀银层发生氧化反应,进而使负载组件的驻波变化率较大;（2）经过高温预处理后的吸波材料,在高温下的真空质损和可凝挥发物均得到了有效控制,其电磁参数也趋于稳定,负载组件的驻波变化率试验前后差异不大。因此,吸波材料原材料工艺制备过程中高温预处理属于关键要素;该工艺固化方法的有效实施将有助于星载吸波材料的应用,提高航天器在轨服役可靠性和安全性。     

面向航空发动机研制的数字孪生定义研究

数字孪生是21世纪诞生的一种技术体系和工作模式,目前已经在学术界、工业界和官方研究机构得到广泛研究和实践 应用。为了在航空发动机研制中准确运用数字孪生,就必须明确其定义及内涵。在前期通过文献统计分析得到数字孪生定义模 型的基础上,对不同研究视角下的典型定义进行分析、归纳,明确数字孪生的核心要素,以及不同要素的相互关系、在数字孪生中 的作用。以此得到面向复杂装备研制的数字孪生定义,并结合航空发动机研制的特定实践,将之具象化为航空发动机研制的数字 孪生定义。结果表明：面向航空发动机研制的数字孪生定义核心要素是发动机实体、孪生模型、数据和交互,数字孪生以航空发动 机实体为实现载体,以孪生模型为实现功能的核心,以数据和交互作为媒介和推动手段,最终达到提高航空发动机质量、保障航空 发动机运行的目的。     

无人机视觉引导对接过程中的协同目标检测

无人机空中自主回收是未来的发展趋势,对空中载具的自动识别是实现视觉引导回收的关键技术之一。目前对于空中关联目标检测的研究局限于单个目标个体,没有充分利用关联目标之间的信息。本文针对空中高动态对接中的关联目标检测问题,提出了一种母机与挂载对接物体的单阶段快速协同目标检测算法,包括相关类别并行独立分支目标检测、相关类别掩模增强检测以及相关类别的特征一致性约束,这些模块能够共同提升检测表现。实验表明,在测试集中该算法相比于YOLOv4能够提升4.3%的平均精度,相比YOLOv3-Tiny能够提升31.6%的平均精度。同时,该算法已应用在MBZIRC2020的高动态空中对接项目上,实现机载图像在线实时处理,团队借此斩获冠军。     

基于改进的卷积神经网络的步态识别

为了提高惯性传感器采集到的序列数据中步态识别的准确率,建立了一个激励层改进的卷积神经网络(CNN)模型。针对三轴加速度传感器对运动太过敏感导致步态周期划分不准确的问题,采用加速度传感器与弯曲度传感器组合获取人体运动信息。将CNN模型中激励层的线性整流函数(ReLU)改进为带泄露线性整流函数(Leaky ReLU),以解决遇到卷积输出数据小于0时神经元被抑制的问题,进而达到提高步态识别准确率的目的。实验结果表明激励层优化的CNN模型在行走、上下楼和上下坡五种步态模式下识别率达到了95.79%,与未采用弯曲度传感器的改进CNN模型和未进行激励层改进的CNN模型相比,步态识别率有所提高。